Feeds to Scour
SubscribedAll
Scoured 24801 posts in 20.9 ms
KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code  🦀Rust Verification
arxiv.org·6d
Autonomous Systems & Reasoning Research  ⚙️TLA+
cli.narelabs.com·4d·Hacker News
Edition 74 — LLM Inference Throughput Rises 4.5x with Parallel Verification  ⚙️Proof Engineering
presciente.com·5d·Hacker News
TraceFix: Repairing Agent Coordination Protocols with TLA+ Counterexamples  ⚙️TLA+
arxiv.org·1d
LaTER: Efficient Test-Time Reasoning via Latent Exploration and Explicit Verification  🧮SMT Solvers
arxiv.org·1d
VNN-LIB 2.0: Rigorous Foundations for Neural Network Verification  🔍Vector Forensics
arxiv.org·1d
MAVEN: Multi-Agent Verification-Elaboration Network with In-Step Epistemic Auditing  📏Linear Logic
arxiv.org·1d
Syntax and Semantics of Linear Dependent Types  λLambda Formalization
arxiv.org·5d
SCOPE: Structured Decomposition and Conditional Skill Orchestration for Complex Image Generation  🌳Context free grammars
arxiv.org·1d·r/StableDiffusion
A Categorical Semantics for Linear Logical Frameworks  📏Linear Logic
arxiv.org·5d
Parallel Prefix Verification for Speculative Generation  🦀Rust Verification
arxiv.org·5d
POSTCONDBENCH: Benchmarking Correctness and Completeness in Formal Postcondition Inference  🎯Performance Proofs
arxiv.org·6d
UVMarvel: an Automated LLM-aided UVM Machine for Subsystem-level RTL Verification  🔧Hardware Verification
arxiv.org·5d
UniVer: A Unified Perspective for Multi-step and Multi-draft Speculative Decoding  🔧Reed-Solomon Decoders
arxiv.org·5d
Hybrid Multiparty Session Types -- Full Version  🔄Session Type Inference
arxiv.org·6d
Delay, Plateau, or Collapse: Evaluating the Impact of Systematic Verification Error on RLVR  🛡️Error Boundaries
arxiv.org·6d
ReasonSTL: Bridging Natural Language and Signal Temporal Logic via Tool-Augmented Process-Rewarded Learning  ⏱️Interval Parsing
arxiv.org·4d
Text-Graph Synergy: A Bidirectional Verification and Completion Framework for RAG  🔄Graph Rewriting
arxiv.org·4d
Reward Hacking Benchmark: Measuring Exploits in LLM Agents with Tool Use  🧪Protocol Fuzzing
arxiv.org·6d
HyParLyVe: Hyperplane Partitioning for Neural Lyapunov Verification  🎯Performance Proofs
arxiv.org·6d

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help